On the Dynamics of Institutional Agreements

In this paper we investigate a logic for modelling individual and collective acceptances that is called acceptance logic. The logic has formulae of the form AG:xφ reading ‘if the agents in the set of agents G identify themselves with institution x then they together accept that φ’. We extend acceptance logic by two kinds of dynamic modal operators. The first kind are public announcements of the form x !ψ , meaning that the agents learn that ψ is the case in context x . Formulae of the form [x !ψ]φ mean that φ is the case after every possible occurrence of the event x !ψ . Semantically, public announcements diminish the space of possible worlds accepted by agents and sets of agents. The announcement of ψ in context x makes all ¬ψ-worlds inaccessible to the agents in such context. In this logic, if the set of accessible worlds of G in context x is empty, then the agents in G are not functioning as members of x , they do not identify themselves with x . In such a situation the agents in G may have the possibility to join x . To model this we introduce here a second kind of dynamic modal operator of acceptance shifting of the form G:x↑ψ . The latter means that the agents in G shift (change) their acceptances in order to accept ψ in context x . Semantically, they make ψ-worlds accessible to G in the context x , which means that, after such operation, G is functioning as member of x (unless there are no ψ-worlds). We show that the resulting logic has a complete axiomatization in terms of reduction axioms for both dynamic operators. In the paper we also show how the logic of acceptance and its dynamic extension can be used to model some interesting aspects of judgement A. Herzig · E. Lorini Université de Toulouse, CNRS, IRIT, 118 route de Narbonne, 31062 Toulouse Cedex 9, France e-mail: [email protected] E. Lorini e-mail: [email protected] T. de Lima (B) Eindhoven University of Technology, P.O. Box 513, 5600 MB Eindhoven, The Netherlands e-mail: [email protected]